1. Fundamentals of discrete math for computer science : a problem-solving primer

by Jenkyns, Tom A | Stephenson, Ben.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.015 JEN] (1).
2. Sets, logic and maths for computing

by Makinson, David.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Springer, 2008Availability: Items available for loan: [Call number: 004.0151 MAK] (1).
3. Modelling computer systems : mathematics of computer science

by Moller, Faron | Struth, Georg.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Springer, 2013Availability: Items available for loan: [Call number: 004.0151 MOL] (1).
4. Introduction to computation : Haskell, logic and automata

by Sannella, Donald | Fourman, Michael | Peng, Haoran | Wadler, Philip.

Publisher: Cham : Springer, 2021Availability: Items available for loan: [Call number: 511.3 SAN] (1).

Powered by Koha